Space-Efficient Manifest Contracts
نویسندگان
چکیده
منابع مشابه
Space-Efficient Latent Contracts
Standard higher-order contract monitoring breaks tail recursion and leads to space leaks that can change a program’s asymptotic complexity; space-efficiency restores tail recursion and bounds the amount of space used by contracts. Space-efficient contract monitoring for contracts enforcing simple type disciplines (a/k/a gradual typing) is well studied. Prior work establishes a space-efficient s...
متن کاملCombining Manifest Contracts with State
Manifest contracts combine the rich specifications and runtime checking of higher-order contracts [11] with a static type discipline. Conventional type systems prevent simple errors, like calling a boolean as a function, but manifest contracts can prevent more complex errors. For example, we could give the sqrt function the very precise type {x:Float | x ≥ 0} → {y:Float | |x − y| < }, where sub...
متن کاملEfficient Incentive Contracts
A so-called "incentive contract" is a linear payment schedule, where the buyer pays a fixed fee plus some proportion of audited project cost. That remaining proportion of project cost borne by the seller is called the "sharing ratio." A higher sharing ratio creates more incentive to reduce costs. But it also makes the agent bear more cost uncertainty, requiring as compensation a greater fixed f...
متن کاملEfficient Contracts for Digital Content
This paper analyses efficient contracts for digital content, focusing on the music industry. It contributes to the quest for an efficient intellectual property rights environment for information goods. Moreover, it adds an interesting application to the field of behavioural economics. The model is set in a contract theory framework with the copyright holder being the principal and a consumer th...
متن کاملSecret Contracts for Efficient Partnerships∗
By allocating different information to team members, secret contracts can provide better incentives to perform with an intuitive organizational design. For instance, they may help to monitor monitors, and attain approximately efficient partnerships by appointing a secret principal. More generally, secret contracts highlight a rich duality between enforceability and identifiability. It naturally...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM SIGPLAN Notices
سال: 2015
ISSN: 0362-1340,1558-1160
DOI: 10.1145/2775051.2676967